/* Default color scheme */
@define-color base_color #333;
@define-color bg_color #383838;
@define-color tooltip_bg_color #333;
@define-color selected_bg_color #4a90d9;
@define-color text_color #dedede;
@define-color fg_color #dedede;
@define-color tooltip_fg_color #dedede;
@define-color selected_fg_color #fff;
@define-color transparent alpha (#000, 0.00);

/* Colormap actually used by the theme, to be overridden in other css files */
@define-color theme_base_color @base_color;
@define-color theme_text_color @text_color;
@define-color theme_bg_color @bg_color;
@define-color theme_fg_color @fg_color;
@define-color theme_tooltip_bg_color @tooltip_bg_color;
@define-color theme_tooltip_fg_color @tooltip_fg_color;
@define-color theme_selected_bg_color @selected_bg_color;
@define-color theme_selected_fg_color @selected_fg_color;

@define-color menu_bg_color @theme_bg_color;
@define-color menu_fg_color @theme_text_color;
@define-color menu_controls_color @theme_text_color;

@define-color entry_text_color @theme_text_color;
@define-color entry_background_a @theme_bg_color;
@define-color entry_background_b #484848;
@define-color entry_background_c #303030;
@define-color entry_background_d #585858;

@define-color os_chrome_bg_color @theme_bg_color;
@define-color os_chrome_fg_color @theme_text_color;
@define-color os_chrome_selected_bg_color #333;
@define-color os_chrome_selected_fg_color white;

@define-color chrome_bg_color @theme_bg_color;
@define-color chrome_fg_color @theme_text_color;

@define-color link_color #08C;
@define-color frame_color #80958a;
@define-color inactive_frame_color #303030;
@define-color warning_color #f57900;
@define-color error_color #cc0000;
@define-color success_color #4e9a06;

@define-color info_fg_color rgb (255, 255, 255);
@define-color info_bg_color rgb (86, 155, 228);
@define-color warning_fg_color rgb (173, 120, 41);
@define-color warning_bg_color rgb (250, 173, 61);
@define-color question_fg_color rgb (97, 122, 214);
@define-color question_bg_color rgb (138, 173, 212);
@define-color error_fg_color rgb (166, 38, 38);
@define-color error_bg_color rgb (237, 54, 54);

@define-color insensitive_bg_color #303030;
@define-color insensitive_fg_color #a7aba7;

@import url("gtk-widgets.css");
